In window_resize_apply adjust margin width, if necessary (Bug#16649).
authormartin rudalics <rudalics@gmx.at>
Fri, 7 Feb 2014 10:55:28 +0000 (11:55 +0100)
committermartin rudalics <rudalics@gmx.at>
Fri, 7 Feb 2014 10:55:28 +0000 (11:55 +0100)
commit474b51c76df5e8544c9da266e039a1f7ca028356
tree18fb63c6c47e2b3ce316efb52bde7e0bc1829d23
parentd55bf71c2692594146cba35ffc840409bd934f4a
In window_resize_apply adjust margin width, if necessary (Bug#16649).

* window.c (window_resize_apply): Adjust margin width, if necessary.
src/ChangeLog
src/window.c